Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers: 9971 (Lecture Notes in Computer Science)
by Sandrine Blazy,Marsha Chechik
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers: 9971 (Lecture Notes in Computer Science)
by Sandrine Blazy,Marsha Chechik
ISBN 13: 9783319488684
Format: Paperback
(216 pages)
Publisher: Springer
Published: 08 Nov 2016
Save for later
New : $55.01